ON COMPUTATIONALISM: FORMAL INTERPRETATION AND INITIAL MODEL
نویسندگان
چکیده
In this article, we propose an initial formal model of computationalism based on mathematical relations between cognition and computation. More specifically, a set cognitive constituents as domain, computational implementations range, define two transformation over these sets. Moreover, the principles implementability, describability, phenomena correspondence, conjecture that full does not hold since are fulfilled. Particularly, many cognitively-tied fail to respect describability principle which is necessary for representing state by state.
منابع مشابه
Computationalism under Attack
Since the early eighties, computationalism in the study of the mind has been “under attack” by several critics of the so-called “classic” or “symbolic” approaches in AI and cognitive science. Computationalism was generically identified with such approaches. For example, it was identified with both Allen Newell and Herbert Simon’s Physical Symbol System Hypothesis and Jerry Fodor’s theory of Lan...
متن کاملOn a Possible Future of Computationalism
Computationalism is traditionally considered in the context of the cognitive science as perhaps the dominant contemporary approach to understanding cognition and cognitive phenomena. In this position it plays the crucial role in present day not only in cognitive science, but also in the field of cognitive psychology, artificial intelligence and also in an important part of advanced cognitive ro...
متن کاملExtensible Canonical Process Model Synthesis Applying Formal Interpretation
The current period of IT development is characterized by an explosive growth of diverse information representation languages. Applying integration and composition of heterogeneous information components it is required to develop the canonical information model serving for adequate expression of semantics of various information models used in the environment encompassing required heterogeneous c...
متن کاملAn initial formal model for spatial data infrastructures
Kort & Matrikelstyrelsen, Rentemestervej 8, Copenhagen, DK-2400 NV, Denmark. Department of Geography, Ohio State University, Columbus, OH, 43210, USA National Commission of the SDI of Cuba, Calle 6 No. 301 Esq. 3ra, Miramar, La Habana 11300, Cuba Logistics and Quantitative Methods, CSIR, PO Box 395, Pretoria, 0001, South Africa Department of Geomatics, University of Melbourne, Melbourne, Victor...
متن کاملProgress on Abstract Interpretation Based Formal Methods and Future Challenges
In order to contribute to the software reliability problem, tools have been designed in order to analyze statically the run-time behavior of programs. Because the correctness problem is undecidable, some form of approximation is needed. The whole purpose of abstract interpretation is to formalize this idea of approximation. We illustrate in formally the application of abstraction to the semant...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Vìsnik Kiïvs?kogo nacìonal?nogo unìversitetu ìmenì Tarasa Šev?enka
سال: 2023
ISSN: ['2616-9193', '2616-9207']
DOI: https://doi.org/10.17721/2523-4064.2023/8-1/8